Polibits, Vol. 52, pp. 79-84, 2015.
Abstract: This paper presents a methodology for evaluating propositional logic satisfiability using resolution-refutation. The method applies a strategy based on an algebra developed by the authors that estimates the possible outcomes of the expression and generates a logic value for refuting or accepting the satisfiability of the argument.
Keywords: Algebraic logic, propositional logic, resolution-refutation, tableau
PDF: An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra
PDF: An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra
http://dx.doi.org/10.17562/PB-52-8
Table of contents of Polibits 52